-
1 conditional implication
условная импликация
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > conditional implication
-
2 conditional implication
-
3 conditional implication
Большой англо-русский и русско-английский словарь > conditional implication
-
4 conditional implication
Вычислительная техника: условная импликацияУниверсальный англо-русский словарь > conditional implication
-
5 conditional implication
English-Russian dictionary of computer science and programming > conditional implication
-
6 conditional implication
мат.English-Russian scientific dictionary > conditional implication
-
7 conditional implication
English-Russian information technology > conditional implication
-
8 conditional implication
Англо-русский словарь по исследованиям и ноу-хау > conditional implication
-
9 conditional implication gate
вентиль [схема] условной импликацииБольшой англо-русский и русско-английский словарь > conditional implication gate
-
10 conditional implication operation
Большой англо-русский и русско-английский словарь > conditional implication operation
-
11 conditional implication gate
Вычислительная техника: вентиль условной импликации, схема условной импликацииУниверсальный англо-русский словарь > conditional implication gate
-
12 conditional implication operation
Вычислительная техника: операция условной импликацииУниверсальный англо-русский словарь > conditional implication operation
-
13 conditional implication gate
вентиль [схема] условной импликацииEnglish-Russian dictionary of computer science and programming > conditional implication gate
-
14 conditional implication operation
English-Russian dictionary of computer science and programming > conditional implication operation
-
15 conditional implication operation
conditionele impliciete bewerkingimplicatieinclusieEnglish-Dutch technical dictionary > conditional implication operation
-
16 conditional implication instruction
n COMP bedingte Implikation fDictionary English-German Informatics > conditional implication instruction
-
17 implication
1) вовлечение, включение2) лог. импликация•- conditional implication
- formal implication
- material implication
- strict implicationEnglish-Russian dictionary of computer science and programming > implication
-
18 conditional statement
1) условный оператор, условное предложениеисходно термин говорит о том, что выполнение или невыполнение операции (например, переход на ту или иную ветвь программы) зависит от результата некоторого теста (проверки условия) - истинного или ложного.Syn:см. тж. control statementвыражение вида "если p, то q", где р и q - высказыванияАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > conditional statement
-
19 implication
1) импликациябинарная логическая операция, принимающая значение "ложь" только если первый аргумент истинен, а второй - ложен (т. е. операция некоммутативна); соответствует условному высказыванию (conditional statement), поэтому иногда её называют условной связкой.Syn:2) следствие; вывод; следованиесм. тж. consequenceАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > implication
-
20 biconditional implication
равнозначность; двусторонняя импликация
См. также в других словарях:
Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… … Wikipedia
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… … Universalium
Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… … Wikipedia
conditional — Any proposition of the form ‘if p then q ’. The condition hypothesized, p, is called the antecedent of the conditional, and q the consequent. Various kinds of conditional have been distinguished. The weakest is that of material implication,… … Philosophy dictionary
Conditional proof — A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof… … Wikipedia
conditional — I. adjective Date: 14th century 1. subject to, implying, or dependent upon a condition < a conditional promise > 2. expressing, containing, or implying a supposition < the conditional clause if he speaks > 3. a. true only for certain values of… … New Collegiate Dictionary
conditional relation — noun a logical relation between propositions p and q of the form if p then q ; if p is true then q cannot be false • Syn: ↑implication, ↑logical implication • Derivationally related forms: ↑implicational (for: ↑implication), ↑imply … Useful english dictionary
conditional — con•di•tion•al [[t]kənˈdɪʃ ə nl[/t]] adj. 1) imposing, containing, subject to, or depending on a condition; not absolute: conditional acceptance[/ex] 2) gram. (of a sentence, clause, mood, or word) involving or expressing a condition, as the… … From formal English to slang
Paradoxes of material implication — Implication, in logic, describes conditional if then statements, e.g., if it is raining, then I will bring an umbrella. There are many ways to formalise implication, of which material implication is one of the simplest. It equates the statement… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia